Books by author Harald Ganzinger

Showing 1 – 6 out of 6 results

1. 

   ESOP '88

   Harald Ganzinger | Springer, Berlin

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   Informatik

   Harald Ganzinger, Wolfgang J. Paul | Vieweg+Teubner, 1992

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: German

   Binding: Paperback

   47.10 €

   Sale 6 %

   You save 3.33 €

   Buy
3. 

   Automated Deduction - CADE-16

   Harald Ganzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.68 €

   Buy
4. 

   Logic Programming and Automated Reasoning

   Harald Ganzinger, David McAllester, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Programs as Data Objects

   Harald Ganzinger, Neil D. Jones | Springer, Berlin

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   36.11 €

   Sale 7 %

   You save 3.05 €

   Buy
6. 

   Rewriting Techniques and Applications

   Harald Ganzinger | Springer, Berlin, 1996

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy

Estimated delivery date you can see on the book page. Find out more